Buy Used and New Antti Valmari Books

Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540331025

Format: Paperback (317 pages)
Publisher: Springer
Published: 15 Mar 2006

Save for later

Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings: 9115 (Lecture Notes in Computer Science)

by Raymond Devillers,Antti Valmari

ISBN 13: 9783319194875

Format: Paperback (364 pages)
Publisher: Springer
Published: 27 May 2015

Save for later